منابع مشابه
Distributed system contract monitoring
Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may result in increased communication overhead and information exposure across locations, while, on the other hand, systems with dynamic topologies and properties are difficult to address using...
متن کاملDistributed Contract Negotiation System for Virtual Organizations
The research is co-funded by the European Regional Development Fund as part of the Innovative Economy programs PLGrid POIG.02.03.00-00-007/08-00 and ITSOA POIG.01.03.01-00-008/08-01 Distributed Contract Negotiation System for Virtual Organizations Marcin Stelmach1, Bartosz Kryza2, Renata Słota1, Jacek Kitowski1,2 1Institute of Computer Science AGH-UST, Cracow, Poland 2Academic Computer Centre C...
متن کاملA Type and Effect System for Contract Monitoring
Behavioral contracts have long been heralded as a transparent mechanism which can only affect the semantics of programs by detecting contract violations. This claim persists despite several results going back at least five years that point out to the “effectful” nature of contracts. Indeed, in a typical contract system, the predicates embedded in contracts are sliced and diced and scattered aro...
متن کاملContract-Based Distributed Scheduling for Distributed Processing
To an increasing extent, large-scale information processing is a distributed phenomenon. As the trend in computing moves further towards distributed networks of powerful workstations and information servers, we see the growing importance of solutions to dynamic distributed scheduling problems. In these domains, resource providers are distributed both geographicany and bureaucratically, so that ...
متن کاملDistributed embedded system for ultralight airplane monitoring
This paper presents distributed embedded monitoring system that is developed for small aircrafts, sports and ultralights airplanes. System is made from modules connected by industrial bus CAN. This low cost system is trying to solve bad situation with many ultralights without any digital measurement unit due to their prices. The contribution shows basic architecture of the embedded monitoring s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2013
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2013.04.001